Merge pull request #519 from vikramkanigiri/vk/misc_plat_reorg
authordanh-arm <dan.handley@arm.com>
Tue, 16 Feb 2016 12:45:59 +0000 (12:45 +0000)
committerdanh-arm <dan.handley@arm.com>
Tue, 16 Feb 2016 12:45:59 +0000 (12:45 +0000)
Vk/misc plat reorg


Trivial merge